first-order theorem prover中文是什么意思
发音:
"first-order theorem prover"怎么读
中文翻译
手机版
- 一阶定理证明器
- "first"中文翻译 adj. 1.最初的，最早的。 2.最上等的，第一流的。 ...
- "order"中文翻译 n. 1.次序，顺序；整齐；(社会)秩序，治安；状况，常 ...
- "theorem"中文翻译 n. 1.(能证明的)一般原理，公理，定律，法则。 2. ...
- "prover"中文翻译 n. 1.试验装置。 2.【印刷】打校样的工人。 3.〔 ...
- "theorem prover" 中文翻译 : 定理证明程序
- "boyermoore theorem prover" 中文翻译 : 博耶穆尔定理证明程序
- "first order" 中文翻译 : 初指令, 一阶; 第一级次; 一阶；一级
- "first-order" 中文翻译 : 一阶
- "of the first order" 中文翻译 : 最高级的, 头等的
- "castigliano first theorem" 中文翻译 : 卡氏第一定理
- "first classification theorem" 中文翻译 : 第一分伦定理
- "first homotopy theorem" 中文翻译 : 第一同类定理
- "first isomorphism theorem" 中文翻译 : 同态定理
- "first mean value theorem" 中文翻译 : 平均值定理
- "first theorem of the mean" 中文翻译 : 第一平均值定理
- "prover" 中文翻译 : n. 1.试验装置。 2.【印刷】打校样的工人。 3.〔古语〕证明者。
- "small order first-in-first-out" 中文翻译 : 细额先到先得
- "first order; first step; first stage" 中文翻译 : 第一级
- "admittances of a first-order system" 中文翻译 : 一阶系统的过渡函数
- "apparent first-order kinetics" 中文翻译 : 视在一级动力学
- "branch of the first order" 中文翻译 : 第一次分枝
- "coefficient of first order" 中文翻译 : 一次系数
- "conditioned reflex of first order" 中文翻译 : 一级条件反射
- "conditioned reflex of the first order" 中文翻译 : 一级条件反射
- "differential equation of first order" 中文翻译 : 一阶微分方程
相关词汇
sonic nozzle flow prover 中文, theorems 中文, modularity theorem 中文, isomorphism theorem 中文, wieners theorem 中文, uniqueness theorem 中文, bound theorem 中文, cauchy theorem 中文, bayess theorem 中文, first-order test 中文, first-order tetragonal bipyramid 中文, first-order tetragonal dipyramid 中文, first-order tetragonal prism 中文, first-order tetragonal pyramid 中文, first-order theory 中文, first-order tooth mkovement 中文, first-order transformation 中文, first-order transition 中文,
相邻词汇
first-order theorem prover的中文翻译，first-order theorem prover是什么意思，怎么用汉语翻译first-order theorem prover，first-order theorem prover的中文意思，first-order theorem prover的中文，first-order theorem prover in Chinese，first-order theorem prover的中文，first-order theorem prover怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。